5 10 SWAP / 3 + DUP * .